Skip to content

chore: release 0.13.2 #460

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

chore: release 0.13.2 #460

wants to merge 1 commit into from

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Nov 7, 2021

🤖 I have created a release *beep* *boop*

0.13.2 (2022-02-19)

Bug Fixes

  • docker: Add missing libs for partition-view/… using compiler-libs (#459) (c2399b0), closes #438
  • grader: Workaround issue #457 about the Introspection module (#461) (f5d66c6)
  • UI: Restore UX of the welcome message "Choose an activity." (#455) (9d5c7de)

Documentation

Code Refactoring


This PR was generated with Release Please. See documentation.

@github-actions github-actions bot force-pushed the release-v0.13.2 branch 2 times, most recently from a9e44ec to 5d65617 Compare November 13, 2021 08:24
@github-actions github-actions bot force-pushed the release-v0.13.2 branch 2 times, most recently from 0cf5b52 to 72fcdac Compare November 27, 2021 08:25
@github-actions github-actions bot force-pushed the release-v0.13.2 branch 3 times, most recently from 32d89b6 to 003ec8e Compare December 25, 2021 08:23
@github-actions github-actions bot force-pushed the release-v0.13.2 branch 2 times, most recently from dcaf1c9 to 6f2845f Compare January 3, 2022 06:57
@erikmd
Copy link
Member

erikmd commented Jan 7, 2022

Note to the maintainer that will merge this Release PR at some point:

Before merging the PR, push a commit in branch release-v0.13.2 that extends the CHANGELOG.md with this line:

### Documentation

* Improve `ISSUE_TEMPLATE`s & Add `PULL_REQUEST_TEMPLATE` ([#453](https://github.com/ocaml-sf/learn-ocaml/pull/453)) ([d511d58](https://github.com/ocaml-sf/learn-ocaml/commit/d511d58a53778cede681b71f9a9f45922202b371))

Documentation

  • Improve ISSUE_TEMPLATEs & Add PULL_REQUEST_TEMPLATE (#453) (d511d58)

@github-actions github-actions bot force-pushed the release-v0.13.2 branch 2 times, most recently from 4684ac3 to db59a25 Compare January 15, 2022 08:23
@github-actions github-actions bot force-pushed the release-v0.13.2 branch 2 times, most recently from 34406d7 to 9cd9472 Compare January 22, 2022 08:25
@github-actions github-actions bot force-pushed the release-v0.13.2 branch 2 times, most recently from 9d3e3cb to b61ff77 Compare February 5, 2022 08:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant